منابع مشابه
A logical account of free choice imperatives⇤
Since Ross’s observation that the instruction Post this letter does not entail Post this letter or burn it, imperatives have constituted a challenge for the logician. Building on ideas from inquisitive semantics, we propose an account in which imperatives are regarded as partial specifications of a set of options. We show that this account avoids Ross’s paradox and gives rise to a sensible noti...
متن کاملLogical omniscience and rational choice
It is well-known that usual doxastic models (epistemic logic, probability) suffer from strong idealizations. By extension, models of decision making that elaborate on these doxastic models (e.g., models of choice under set-theoretic uncertainty ([LR85], chap.13) and the expected utility model) inherit these idealizations. To improve doxastic models is therefore an important aspect of bounded ra...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملA Logical Relations for a Logical Framework
Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relat...
متن کاملMetaphysics of Logical Realism
با اینکه اغلب به غلط تصور میشود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن میتوان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکلگیریاش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Nanotechnology
سال: 2007
ISSN: 1748-3387,1748-3395
DOI: 10.1038/nnano.2007.156